how much is one ton of stone